Verification-Centric Realization of Electronic Vote Counting
نویسندگان
چکیده
Activist computer scientists, including some of the authors of this paper, have been working against the adoption by governments of commercial, proprietary, insecure, poorly designed and implemented voting systems the world-over. And, while we mainly work to accomplish our goals by educating citizens and communicating with the press, we also must propose solutions to the problems of trustworthy e-voting. If a computer-based voting system is to ever be adopted, that system must be demonstrably of extremely high quality. This paper discusses a methodology and a set of tools we have used to implement a vote counting plugin, for an experimental computer-based voting system using applied formal methods.
منابع مشابه
Schulze Voting as Evidence Carrying Computation
The correctness of vote counting in electronic election is one of the main pillars that engenders trust in electronic elections. However, the present state of the art in vote counting leaves much to be desired: while some jurisdictions publish the source code of vote counting code, others treat the code as commercial in confidence. None of the systems in use today applies any formal verificatio...
متن کاملA solution for Voter Verifiable e-voting in Ireland Verification by voter verified paper ballot
The essence of this proposal is that voters are given a printed copy of their electronic vote, which they verify before casting their electronic vote, and which they drop into a traditional ballot box. At the count centre an audit takes place in two stages. First, a random sample of paper ballots is taken from the ballot boxes and compared with the aggregated file of mixed and numbered electron...
متن کامل“Every Vote Counts. Electronic Voting and Counting” Electronic Voting at Polling Stations Study Commission in the Netherlands
Equal suffrage: Given the Dutch electoral system, each voter is permitted to cast one vote per election, which is counted once only in the counting of votes; Accessibility: Voters must be given every opportunity to participate directly in the election process. If this is not possible, there must be an opportunity to participate indirectly by the granting of a proxy; Transparency: The elec...
متن کاملNew voter verification scheme using pre-encrypted ballots
0140-3664/$ see front matter 2009 Elsevier B.V. A doi:10.1016/j.comcom.2009.03.007 * Corresponding author. Tel.: +34 93 4230324; fax: E-mail addresses: [email protected] (V. Morales-Rocha), [email protected] (M. Soria (J. Puiggalí). In order for remote electronic voting systems to be reliable, voter verification is an essential feature. Most pre-encrypted ballot schemes proposed to ...
متن کاملIndisputable electronic elections at polling places
Introduction Stripped to its essence, the highest requirement of any election is that it produces an accurate published count of the eligible voters’ intended choices – that is, it must be “counted-as-intended.” Typically, this process is divided into two stages: casting and counting. To maintain the electorate’s belief and willingness to be bound by the outcome of an election, both voters and ...
متن کامل